METHOD OF ATTRIBUTIVE SIGNS FORMALIZATION

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Attributive Uses of Prosentences

Defenders of the prosentential theory of truth claim that the English language contains prosentences which function analogously to their better known cousins – pronouns. Statements such as ‘That is true’ or ‘It is true’, they claim, inherit their content from antecedent statements, just as pronouns inherit their reference from antecedent singular terms. Prosentential theorists claim that the co...

متن کامل

Formalization of Wu's Simple Method in Coq

We present in this paper the integration within the Coq proof assistant, of a method for automatic theorem proving in geometry. We use an approach based on the validation of a certificate. The certificate is generated by an implementation in Ocaml of a simple version of Wu’s method.

متن کامل

Functions of attributive adjectives in English

This is a paper about premodification in the English noun phrase, focusing on functions of attributive adjectives. Modification in general is an issue that has received comparatively little attention in linguistic research, at least outside the field of syntax (see eg Frawley 1992: 437); Although there are some systematic descriptions of premodifier functions to be found in the literature, much...

متن کامل

Attributive Description Formalisms

Research in knowledge representation has led to the development of so-called terminological logics, the purpose of which is to support the representation of the conceptual and terminological part of Artificial Intelligence applications. Independently, in computational linguistics, so-called feature logics have been developed which are aimed at representing the semantic and syntactic information...

متن کامل

Attributive Wrong Bernhard

In well-behaved cases of adjectival modification, the adjective-noun sequence describes a firstorder property whose content is fully determined by the contents of the adjective and the noun. For example, the truth conditions of They hired a vegetarian dentist, They hired a former linguist, and They hired an electrical engineer, are functions of the property of being a vegetarian dentist, of bei...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Civil Aviation High TECHNOLOGIES

سال: 2019

ISSN: 2542-0119,2079-0619

DOI: 10.26467/2079-0619-2019-22-2-8-15